-
1 лингвистика языков программирования
Русско-английский словарь по электронике > лингвистика языков программирования
-
2 лингвистика языков программирования
Русско-английский словарь по радиоэлектронике > лингвистика языков программирования
-
3 Semantics
There are people who maintain that there is no distinction between syntax and semantics, and there are others who lump the entire inference and "thought" component of an AI system under the label "semantics." Moreover, the philosophers, linguists, and programming language theorists have notions of semantics which are distinct from each other and from many of the notions of computational linguists and psychologists....First, let me set up two caricatures which I will call the Linguist and the Philosopher, without thereby asserting that all linguists fall into the first category or philosophers in the second. Both, however, represent strong traditions in their respective fields. The Linguist has the following view of semantics in linguistics: He is interested in characterizing the fact that the same sentence can sometimes mean different things, and some sentences mean nothing at all. He would like to find some notation in which to express the different things which a sentence can mean and some procedure for determining whether a sentence is "anomalous" (i.e., has no meanings). The Philosopher on the other hand is concerned with specifying the meaning of a formal notation rather than a natural language.... His notation is already unambiguous. What he is concerned with is determining when an expression in the notation is a "true" preposition (in some appropriate formal sense of truth) and when it is false.... Meaning for the Philosopher is not defined in terms of some other notation in which to represent different possible interpretations of a sentence, but he is interested in the conditions for truth of an already formal representation. (Woods, 1975, pp. 40-41)Historical dictionary of quotations in cognitive science > Semantics
-
4 определяющее
1) Linguistics: determinandum, governing member -
5 автоматическое доказательство теорем
1) Linguistics: automatic theoreme-proving2) Programming: automatic theorem proving, theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта)Универсальный русско-английский словарь > автоматическое доказательство теорем
-
6 амфиболия
1) Mathematics: syntactic ambiguity2) Religion: amphiboly (A sentence or phrase - as "nothing is good enough for you" - susceptible of more than one interpretation)3) Linguistics: amphibology4) Programming: syntax ambiguity -
7 база данных
2) Mathematics: data base3) Linguistics: data-base program, database program4) Information technology: base5) Taxes: data bank6) Patents: data-base (хранилище информации), database (хранилище информации)7) Network technologies: DB8) Programming: (БД) database (совокупность данных, хранимых в соответствии со схемой данных, манипулирование которыми выполняют в соответствии с правилами средств моделирования данных, см. ГОСТ Р ИСО/МЭК ТО 10032-2007), (БД) DB9) Automation: data area10) SAP.tech. data basis -
8 базовый элемент
1) Engineering: basic block, elementary item2) Linguistics: basic element3) Telecommunications: master cell4) Information technology: base element, basic block (программы), general cell5) Programming: basic unit6) Automation: locating element, primitive, reference member, structural member, Datum Feature -
9 вариант
1) General subject: adaptation, alteration, alternate design (конструкции), alternative, analog, analogon, analogue, bet, development, edition, lection, variant, variation, version, possibility (мы с ним обсудили и такой вариант, что она вообще не узнает про это - we discussed the possibility that she may never find out about this at all), guise2) Military: excursion, mode, version, (плана, обстановки и т.п.) contingency3) Engineering: alternative method, alternative version, modification, option, package (изготовления автомобиля)4) Agriculture: variant (отдельное, значение варьирующего признака; а)5) Rare: vary6) Grammar: derivative7) Chemistry: release8) Mathematics: alternate version, alternative (to), treatment (в факторном эксперименте), variation (of)9) Law: alternate (в международном праве)10) Economy: version it11) Linguistics: alternant12) Automobile industry: version (конструкции)13) Diplomatic term: version (текста, документа и т.п.)15) Phonetics: (позиционный) variant16) Information technology: choice (в языке Ада), instance, suggestion, ver (новый), version (новый), hit17) Genetics: variant (генетический)18) Astronautics: counterpart19) Mechanic engineering: offshoot (процесса)20) Patents: alternative embodiment, text (текста), (новый) version22) Education: (теста) form23) Programming: increment (напр. программного продукта), pattern24) Automation: (конструктивный) alternate25) Quality control: alternate (конструкции)26) Arms production: turnout27) Cables: variant (разновидность), variation (разновидность)28) Makarov: alternate design (в вариантных методах проектирования), alternative (в вариантных методах проектирования), alternative (напр. проекта), alternative design (в вариантных методах проектирования), alternative scheme (в вариантных методах проектирования), draft (кино; киносценария), treatment (опыта), variant (в опыте), variant (отдельное значение варьирующего признака), variant (разновидность), version (напр. изделия)29) SAP.tech. var. -
10 версия
1) General subject: explanation, (документа) revision, copy, guise2) Military: excursion3) Engineering: option4) Mathematics: modification6) Linguistics: version8) Oil: ver9) Programming: revision10) Makarov: release (программного изделия), variant, version (программы)11) SAP.tech. vers. -
11 включение
1) General subject: comprehension, comprisal, embedment, including, inclusion, incorporation, insertion, interadditive, actuation2) Computers: enabling3) Geology: band, dissemination, enclave, incrustation, noddle, occlusion, particle, pocket (нефти)4) Aviation: closing-in, cutin, cutting-in, lighting up5) Medicine: incorporation (напр. в мазевую основу), insert, introduction6) American: connection (подсоединение)7) Military: embodying (в состав), (механическое) engagement8) Philosophy: sambhava (рождение Себя узнаванием "Взгляда Шивы" - смотрящий куда бы он не смотрел видит Себя - Я; термин индийской философии)9) Engineering: activation, breakover (тиристора), circuit, close-in, connection, contaminating impurity (постороннее), cutover (волновода), cutting in, embedded particle, enable, enclosure (инородное тело), energized (L) (активный уровень-низкий), entrapping, extraneous impurity (постороннее), foreign impurity (постороннее), impurities, impurity (постороннее), initiation, intercalation, joining-up, network, nodule, on switch, opaque defect (напр. в стекле), pocket, pull-in, scheme, shunting work, spot, start, starting, startup, switching in, triggering, powering, powering on, powering up, switching on, turning on10) Construction: switch connection11) Mathematics: containment, injection12) British English: connexion (подсоединение)13) Railway term: dirt inclusion, interconnection (в схемах)14) Law: embodiment15) Linguistics: nesting16) Automobile industry: cut-in, turn-on, turning-on17) Mining: inclusion (ценного материала в горной породе), nest18) Metallurgy: impurity (напр. пустой породы), (шаровидное) nodule, plugging19) Polygraphy: throwing in20) Telecommunications: hookup21) Electronics: switching-on22) Information technology: connexion, implication23) Oil: admixture, embedding, granula, inclusion (посторонних тел в кристалле алмаза), switching25) Astronautics: burn, cycling on (двигателей), enclosing, engage, igniting, impulse (двигательной установки), initiating, involving, keying, switch on26) Metrology: switch27) Ecology: body, integration28) Petrography: xenolith29) Drilling: application, engagement, nod (nodule), patch (породы)30) Sakhalin energy glossary: firing31) Microelectronics: turned-on32) Polymers: granule33) Programming: include34) Automation: fire, gate triggering, gearing, plug-in, switch-on, (электрическое) switching on, switching-in, switching-in motion, tripping35) Cables: enclosure (инородное тело), inclusion (инородное тело), inclusion in (в состав чего-то), incorporation (in) (в состав чего-то), insertion in (в состав чего-то), switching on (switching-on), turn on (подача питания), turning on (подача питания)36) Aviation medicine: selection (системы, органа управления)37) Makarov: enclosure (инородной тело), energizing (прибора, аппарата), entrapping (макромолекул, клеток в полимер, гель и т.п.), foreign particle, hold, impurity (примесь в материале), inclusion (примесь в материале), incorporation (в состав), incorporation (примесь в материале), inlay, insertion (в цепь), integration (в состав), interposition, involvement, make, occlusion (газа), starting work, switching (прибора, аппарата), switching on (электрическое), turning (прибора, аппарата)38) Soil science: ortstein39) Security: arming40) Gold mining: clot (до 30 см), niggerhead (породы в пласте)41) SAP.fin. consolidation accounting -
12 входная информация
1) Engineering: input information, source information2) Linguistics: input3) Network technologies: input data4) Programming: inputsУниверсальный русско-английский словарь > входная информация
-
13 грамматика
2) Linguistics: HPSG3) Information technology: grammatics4) Programming: grammar (способ задания языка, как правило, формального) -
14 диалект
2) Linguistics: dialect3) Jargon: talk4) Information technology: dialect (языка программирования)5) Programming: dialect (Так говорят о варианте языка программирования. Может также относиться к принятому стилю программирования) -
15 дополнительный
1) General subject: accessorial, accessory, add-on, additional, additory, adjunct, adjunctive, adminicular, adscititious, alternate, amplificatory, another, appendant, auxiliary, by, collateral, complementary, contingent, excess, expletive, extra, farther, follow-up, further, in addition, more, new, obverse, occasional, other, plus, second, spare, subsidiary, supererogatory, supernumerary, supplemental, supplementary, attached, (train, plain) back-up3) Medicine: ancillary, assident, succenturiate, subs (subsidiary)4) Colloquial: wildcat (о поезде)5) Obsolete: accessive (Source: Webster's Revised Unabridged Dictionary (1913))8) Bookish: appendical, epactal9) Chemistry: padding10) Mathematics: adjugate, complement11) Railway term: superposed12) Law: accessary, adjective, collateral, secondary, subsequent13) Linguistics: completive14) Diplomatic term: special (о выборах и т.п.), supporting16) Telecommunications: ext19) Oil: complemental20) Special term: addititious21) Metrology: complimentary22) Business: collateral (об обеспечении и т.п.), incremental, marginal, ministerial, side-line23) Network technologies: piggyback25) Quality control: accidental, false26) Makarov: adventitious, adventive, annex, branch, external, indirect, odd, peripheral, tributary27) SAP.tech. addnl28) General subject: antithetic -
16 исключение
1) General subject: elimination, exception, excision, exclusion, expulsion (из школы, клуба), expulsion (из школы, клуба и т.п.), expunction (части текста), reserve, shut-out (откуда-л.)2) Naval: salvo3) American: disfellowship (из учебного заведения, религиозной общины)4) Church: excommunication (из круга избранных и т.п.)5) Sports: omitting6) Military: deletion (из списков, из формулировки), preclusion7) Engineering: deletion8) Rare: dismemberment9) Mathematics: discrimination, dropping, elim (elimination), elimination (неизвестного), exception (неизвестного), exceptional case, rejection (statistics), screening-out10) Law: exemption, expulsion (из организации), expulsion (из организации.), expungement (из списка, текста), removal (из договора), save, saving, special case, disapplication (из правила, нормы и т.п.)()11) Economy: discarding, exclusion (в контракте)12) Accounting: exemption (для целей налогообложения), waiver13) Linguistics: (из правила) exception, counterexample14) Mining: exemption (из правил)15) Diplomatic term: expulsion (из организации и т.п.), suppression16) Psychology: exception (из правила и т. п.)17) Jargon: the bounce19) Oil: ruling out20) Genetics: excision (транспозона)21) Geophysics: rejection22) Metrology: cancellation23) Patents: omission, omission (части текста)24) Business: removal25) Network technologies: Exception (Информация о соединениях в сложном представлении узла PNNI, содержащая нечто отличное от используемого по умолчанию представления)26) EBRD: carve-out, carving-out27) Programming: exception (состояние программы, которое возбуждается ( активизируется), когда возникает какая-либо нештатная ситуация), excluding28) Quality control: exclusion (напр. изделий из испытаний)29) leg.N.P. exception (e.g., from a general rule), expulsion (e.g., from membership, from a college), proviso30) Chemical weapons: exception( written exemption) (письменное разрешение, допускающее отклонение от стандартов)31) Psychoanalysis: exception (из правила и т.п.)32) Makarov: exception (невключение, недопущение), exclusion (невключение, недопущение), expulsion (удаление), reservation, singularity33) Idiomatic expression: free pass (to have a free pass \<i\>to do smth\</i\> - иметь право делать что-л.) -
17 исправление
1) General subject: amendment, betterment, castigation, correction, corrigendum (ошибки), emendation, improvement, mending, reclaim, reclaiming, rectification, rectifying, redemption, redress, redressal, reform, reformation (моральное), reparation, reparations, retouch (в картине, стихах), retrieval, retrieve, revision, readjustment, reclamation, repair2) Medicine: redressement, redressment, remodelling3) Engineering: corrective action, equalization, update, updating4) Construction: making good5) Mathematics: c (correction), corrective7) Law: emendation (текста), reformation (документа, преступника)8) Economy: reestablishment9) Accounting: alteration (в документах, бухгалтерских книгах), reoperation, rework (брака)10) Linguistics: reconstruction11) Automobile industry: correcting, restoration12) Mining: repairing13) Diplomatic term: amendment (ошибок в ходе процесса и т.п.)14) Metallurgy: reclamation (брака)15) Physics: curing16) Information technology: fix, patch, repair (программы), rework, hotfix (Майкрософтовский термин)17) Oil: fettle, fettling, redrilling (скважины), restification, reworking18) Dentistry: recure19) Cartography: proof20) Advertising: makegood21) Taxes: correction( in the tax return) (в налоговой декларации)22) Business: adjustment, alteration, amelioration, revise23) Sakhalin energy glossary: update to the design24) Microelectronics: reconditioning25) Network technologies: recovery28) Makarov: amelioration (процесс и результат), compensation, cure, mend, patch (временное), rehabilitation (преступников), remediation29) SAP.tech. repair order, repair request30) Microsoft: hotfix package, patching -
18 кириллица
1) General subject: Cyrillic (одна из двух первых славянских азбук), Cyrillic alphabet (древнеславянская азбука, а также современный русский алфавит, используемый в разных странах)2) Linguistics: Cyrillic script, kirillitsa3) Information technology: Cyrillic font4) Programming: Cyrillic characters -
19 конкретизация
1) General subject: specification2) Engineering: individualizing, instantiation, refining (в языках программирования)3) Mathematics: in more details, specific system4) Law: concrete definition5) Linguistics: substantiation6) Psychology: concretizing7) Information technology: concretization, specialization (понятия, напр. в базе знаний)8) Programming: instantiation (Конкретизация шаблона функции - подстановка фиксированных типов в шаблон. Аналогично с конкретизацией класса)9) Robots: refinement, specialization (понятия) -
20 логическая связка
1) Mathematics: propositional functor2) Linguistics: structural constant3) Information technology: connective, logical connective4) Programming: logic connective
Страницы
См. также в других словарях:
Programming language — lists Alphabetical Categorical Chronological Generational A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that… … Wikipedia
Programming language theory — (commonly known as PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of programming languages and programming language features. It is a multi disciplinary field, both… … Wikipedia
Linguistics — is the scientific study of language, encompassing a number of sub fields. An important topical division is between the study of language structure (grammar) and the study of meaning (semantics). Grammar encompasses morphology (the formation and… … Wikipedia
Programming paradigm — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concu … Wikipedia
Computer programming — Programming redirects here. For other uses, see Programming (disambiguation). Software development process Activities and steps … Wikipedia
Quantitative comparative linguistics — is a branch of comparative linguistics that applies mathematical models to the problem of classifying language relatedness. This includes the use of computational phylogenetics and cladistics to define an optimal tree (or network) to represent a… … Wikipedia
Neuro-linguistic programming — NLP TOPICS … Wikipedia
History of neuro-linguistic programming — This article discusses the history of the field known as Neuro linguistic programming. Neuro linguistic programming (NLP) was developed jointly by Richard Bandler and John Grinder under the tutelage of Gregory Bateson (a renowned anthropologist,… … Wikipedia
Worldview and working model of neuro-linguistic programming — The Worldview and working model of Neuro linguistic programming (NLP) covers the underlying philosophy of NLP, and how and why this philosophy is intended to be used in practice.Neuro linguistic programming is an approach to communication and… … Wikipedia
Naming convention (programming) — In computer programming, a naming convention is a set of rules for choosing the character sequence to be used for identifiers which denote variables, types and functions etc. in source code and documentation. Reasons for using a naming convention … Wikipedia
Naming conventions (programming) — In computer programming, a naming convention is a set of rules for choosing the character sequence to be used for identifiers in source code and documentation. Reasons for using a naming convention (as opposed to allowing programmers to choose… … Wikipedia
